../dlv init.dl 4takeFlowers.plan -silent -FP -FPsec